<?php

session_start();

// Pruefen, ob Session abgelaufen 
if(!isset($_SESSION["benutzer"])){
	header("Location: login.php?abgelaufen=true");
}

?>